基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

机载制导武器的武器-目标分配算法研究

机载制导武器的武器-目标分配算法是智能航空指控系统的一个基础研究问题。本文在建立了武器-目标分配的基本概念和对算法要求的基础上,提出了两种武器-目标分配算法;基于决策论的武器-目标分配算法和基于导弹截获区的武器-目标分配算法,并对基于导弹截获区的武器-目标分配算法进行了仿真实验。结果表明,此算法具有高透明性、有限消除最大威肋、杀伤概率最大、充分利用机载武器等特点。     

Poisson方程生成数值网格方法中的源项计算法

网格生成是数值研究方法得以实现的基础。本文采用了Ｐｏｉｓｓｏｎ方程生成数值网格，并针对方程源项的选择问题，对两种形式的源项作了比较研究。     

山穷水尽后 柳暗花明时——《诗经·关雎》第三章新解

该文通过对《关雎》一诗的分析,认为诗的第三章不是写"君子"既得"淑女"或在想象中得到,而是写"君子"在苦苦相思以后终于想出了追求到"淑女"的方法。     

防空导弹武器系统C3I仿真系统一体化研究

现代化的高科技战争中,C3I系统已成为武器系统的"神经中枢",建立一体化的C3I系统是联合作战、统一指挥的需要,同时也对C3I的仿真系统提出了一体化的要求。结合防空导弹武器两级指控仿真系统互操作问题的研究,首先简要介绍了仿真系统一体化的有关标准,然后介绍了互连的方式和对象,探讨和分析了互操作的模型、特点以及互操作性等级的评定。     

新媒介：当代大学生思想政治教育的有效途径

随着信息技术的迅猛发展,新媒介对大学生的影响日益深刻。新媒介具有对大学生进行思想政治教育的先天优势,但新媒介环境下的思想政治教育危机也不容忽视。我们应当扬长避短,积极探索利用新媒介开展思想政治教育的新路径,不断提高思想政治教育的针对性和有效性。     

新课程下课堂教学评价的几点思考

文章对新课程下课堂教学评价的目的、评课者与被评者的关系以及新课程下听课看什么等问题进行了讨论。     

兵团新课程实施学校教师专业素质的调查与分析

新课程的实施对我国中小学教师的知识、素质和能力提出了新的更高的要求。目前实施新课程的教师绝大多数都是师范院校培养出来的,他们已有的专业素质已不能满足课程改革的需要。本文在对兵团实施新课程学校教师的专业素质现状及需求的调查基础上,对师范院校师范生专业素质的培养提出一些改革的思路,使其培养出来的学生能够适应兵团基础教育课程改革的需要。     

被动免疫算法在模拟电路故障诊断中的应用研究

基于生物免疫系统的信息处理机理,介绍了被动免疫算法的实现过程,并将其应用到某装备电路板的故障诊断之中。该算法具有边检测边学习的动态调整功能,仿真和实验实例表明,该算法适合于电路板的故障诊断,有较高的故障诊断率。     

防空地监哨情报融合研究*

在得到防空地监哨直接观测信息的基础上,对目标可能航向进行二次外推,并利用效用函数综合评估法对目标相关性进行检验,完成对目标信息的融合,解决了地监哨情报数据的关联和航迹外推问题。仿真及试验结果表明该方法用于防空地监哨情报融合是可行的,其结果分析的应用能指导地监哨训练和战时地监哨的配置。